51eb99be91e7cdeec94567995c045537922b8de0,src/main/java/com/sri/ai/grinder/parser/antlr/ExpressionVisitor.java,ExpressionVisitor,visitCountingFormula,#AntlrGrinderParser.CountingFormulaContext#,162

Before Change


	//  '|' ( indexes+=expr (',' indexes+=expr)* )? ':' body=expr '|' #countingFormula
	@Override 
	public Expression visitCountingFormula(AntlrGrinderParser.CountingFormulaContext ctx) { 
		Expression result = new DefaultCountingFormula(cartesianProductsToTupleType(expressionsList(ctx.indexes)), 
										visit(ctx.body));
		return result;
	}

After Change


	//  '|' ( indexes+=expr (',' indexes+=expr)* )? ':' body=expr '|' #countingFormula
	@Override 
	public Expression visitCountingFormula(AntlrGrinderParser.CountingFormulaContext ctx) { 
		Expression result = new DefaultCountingFormula(expressionsList(ctx.indexes), visit(ctx.body));
		return result;
	}